Incorporating Specialized Theories into a

نویسندگان

  • Anna Pogosyants
  • Stephen J. Garland
  • Yang Meng
چکیده

This thesis focuses on automatic theorem proving. In this area there is usually a tradeoff between the "generality" of a prover and the amount of user-guidance it requires to find a proof. This thesis demonstrates that the amount of guidance needed can be reduced by employing reasoning procedures for specialized theories. It presents an enhancement to the Larch Prover (LP) with specialized theories of equality, propositional logic and linear arithmetic. An application of enhanced LP to the verification of a concurrent algorithm is described. Thesis Supervisor: Stephen J. Garland Title: Principal Research Scientist

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Measuring the Pulse of an Organization: Integrating Physiological Measures into the Organizational Scholar’s Toolbox

This goal of this chapter is to build a bridge between psychophysiology and organizational behavior in an effort to extend organizational theories and enhance the precision of organizational research. The first section describes psychophysiological systems and theories that can inform organizational scholars’ understanding of the biological bases of behavior in organizations. The second section...

متن کامل

Free Vibration Analysis of Sandwich Micro Beam with Piezoelectric Based on Modified Couple Stress Theory and Surface Effects

In this paper, the free vibration analysis of sandwich micro beam with piezoelectric layers based on the modified couple stress and surface elasticity theories are investigated. The Hamilton’s principle is employed to derive the sandwich micro beam with piezoelectric based on modified couple stress theory incorporating with Gurtin- Murdoch surface theory. The generalized differential quadrature...

متن کامل

Incorporating External Data into Data Warehouses – Problems Identified and Contextualized

Incorporating external data into data warehouses is a rather unexplored area and deserves more attention, especially if considering the resources organizations spend on acquiring data from specialized data suppliers. Therefore, this paper gives the results of an interview study partly aimed at evaluating, from a general perspective, the outline of such a process and related problems. The result...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007